/*
 * header for random_test2.c
 */

#ifndef RANDOM_TEST2_H_
#define RANDOM_TEST2_H_

void run_random_test2();

#endif /* RANDOM_TEST2_H_ */
